|
|
Compiler of a Language with User-Defined Syntax for New Constructs
Kuklínek, Lukáš ; Křivka, Zbyněk (oponent) ; Kolář, Dušan (vedoucí práce)
This project aims to design and implement an experimental programming language. The main feature of the language shall be the ability of the user to define new syntactic constructs. The language shall be statically typed and compiled to a native binary form. The language consists of two parts. The first part is a minimalistic core based on the principles of stack-oriented languages. The second part is a mechanism that lets users define new syntactic constructs. Then we elaborate on findings that have risen from design and experiments performed with the prototype implementation of the language.
|
|
|
Decompilation of Specialized and Advanced Instruction Sets
Holub, Juraj ; Kolář, Dušan (oponent) ; Křivka, Zbyněk (vedoucí práce)
Nowadays, the process of analyzing malicious software is an important part of information technologies. One of the crucial techniques is decompilation of malicious binary programs. The decompilation is a complex process, and there are multiple projects with such a goal. The project RetDec aims to develop retargetable and flexible decompiler. The goal of this research is to improve the decompilation of advanced instruction sets for architecture x86. The new optimization for FPU register stack manipulation is designed, and the support of FPU and SSE instruction set translation is extended. The new extensions are implemented and tested in the manner of decompilation efficiency and quality.
|
|
|
Systems of Sequential Grammars Applied to Parsing
Repík, Tomáš ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zkoumá Gramatické systémy jako potenciálně silnější nástroj pro syntaktickou analýzu, nežli obyčejné gramatiky. Hlavním záměrem je aplikace teoretických modelů do praxe, vytvoření syntaktického analyzátoru. Jsou zavedeny nové metody zaměřené na determinizmus, a tím vyhnutí se zpětnému navracení při analýze. Základem analyzátoru je CD gramatický systém. Implementace využívá metodu prediktivní syntaktické analýzy, překlad řízený tabulkou a také rekurzi. Analyzátor je univerzální, použitelný pro jakékoliv LL-Gramatiky a jakékoliv gramatické systémy na nich založené.
|
|
|
Pluginy pro získávání informací o systému pro projekt BusyBox
Poláček, Marek ; Konečný, Filip (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce se zabývá implementací nástrojů pro získávání informací o operačním systému pro projekt Busybox. Diskutovány jsou souborové systémy sysfs a procfs v operačním systému Linux. Dále se práce zabývá tím, jak vytvářet co nejmenší programy v jazyce C. Také se věnuje struktuře programů iostat, mpstat a powertop. V rámci práce byly vytvořeny minimalistické implementace již existujících nástrojů, zejména z balíku sysstat, který obsahuje například utility iostat a mpstat.
|
|
|
Překladač grafu toků dat do logiky bitových vektorů
Sušovský, Tomáš ; Lengál, Ondřej (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této bakalářské práce je vytvořit a implementovat nástroj pro překlad modelů grafů toků dat do formátu SMT-LIB. Práce navazuje na projekt HADES výzkumné skupiny VeriFIT Fakulty informačních technologií Vysokého učení technického v Brně. V řešení bylo použito překladače vytvářejícího z původního grafu objektový model. Objektový model je možné převést do zápisu ve formátu SMT-LIB a přidat do něj aserce požadovaných vlastností systému. Pro ověřování vlastností závisejících na změnách systému je použita metoda rozbalování smyček s uživatelem zadanou hranicí maximálního počtu rozbalení. Možnosti vytvořeného nástoje jsou demonstrovány na sadě modelů grafů toků dat pokrývající všechny prvky vstupního jazyka VAM a jejich kombinace. Výsledek této práce představuje nové možnosti pro zpracování grafů toků dat ve formátu VAM a jejich verifikaci.
|
|
|
Transformace grafické reprezentace procesoru do jazyka pro popis architektury
Netočný, Ondřej ; Husár, Adam (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce se zaobírá konverzí mezi grafickým a textovým popisem architektury procesoru. Cílem práce je seznámit čtenáře s oběma zmíněnými nástroji a představit způsob, kterým je prováděna transformace. Součástí práce je seznámení s nástroji vývojového prostředí Eclipse - EMF a GMF, na kterých je postaven editor grafického popisu architektury. Závěr práce je věnován možnostem zpětné transformace, tedy z textového do grafického popisu, kde je vyžadováno inteligentní rozmísťování uzlů v grafu.
|
|
|
Rozšíření programovacího jazyka C Plus a jeho překladače
Opatřil, Petr ; Kučera, Jiří (oponent) ; Meduna, Alexandr (vedoucí práce)
Práce se zabývá pokračujícím vývojem nového programovacího jazyka C Plus navrženého v předchozí balakářské práci s cílem rozšířit jazyk C o vybrané vysokoúrovňové techniky bez přidané režie. V rámci práce byla srovnána řada jazyků, C Plus i s jeho gramatikou byly obohaceny o řadu nové funkcionality a byly diskutovány přínosy a srovnání s realizací v konkurenčních jazycích. Navržená rozšíření byla implementována v překladači.
|
|
|
Jazyk pro procedurální generování
Dobiáš, Roman ; Káčerik, Martin (oponent) ; Milet, Tomáš (vedoucí práce)
Práca sa zaoberá návrhom a implementáciou knižnice s jazykom pre procedurálne generovanie, vychádzajúcim z L-systémov. Zmyslom práce je vytvoriť prakticky použiteľnú a jednoducho integrovateľú knižnicu, ktorá sa bude dať využiť v celej rade aplikácií, obzvlášť v 3D vykresľovacích enginoch alebo editoroch. Práca sa zaoberá nutnou teóriou procedurálneho generovania a L-systémov, téoriou formálnych jazykov, a návrhom a implementáciou daného systému. Výsledkom práce sú ukážkové projekty využívajúce knižnicu a početné príklady dosiahnuté pomocou generovania.
|
|
|
Testing of generated C compilers for processors in embedded systems
Dolíhal, Luděk ; Kubátová, Hana (oponent) ; Vojnar, Tomáš (oponent) ; Hruška, Tomáš (vedoucí práce)
The embedded systems have become essential for our everyday lives. They are usually highly specialized and optimized single purpose devices. The cores of this devices are usually composed of one or more application specific instruction-set processors. This dissertation thesis is focused on testing of tools for design of application specific instruction set processors (ASIP) and ASIPs itself. The aim is to create a system, that allows testing of the tools such as compiler, assembler, disassembler or debugger. Nevertheless, there is also need for more complex tests, for example integration tests, that ensure there is no incompatibility between the tools. Author created with support of continuous integration server an environment, that helps to reveal and fix errors during the design of the application specific processors and moreover this environment is automatized up to certain point.
|
|
|
Systémy převodníků: Definice, vlastnosti a aplikace
Řezáč, Michal ; Kövári, Adam (oponent) ; Meduna, Alexandr (vedoucí práce)
V současné době se používá k popisu překladačů programovacích jazyků konečný a zásobníkový převodník jako dvě samostatné části. Cílem práce je definovat systém překladových automatů, který umožní popsat překladač jedním souhrnným systémem převodníků místo dvou nezávislých. Systém překladových automatů představený v této práci je založený na konečném a zásobníkovém převodníku. Jedná se o jednoduchý model bez vnitřní komunikace a kvůli této vlastnosti není vhodný pro formalizaci překladačů ale pro svou jednoduchost je systém snadno rozšiřitelný o nové vlastnosti a může tak sloužit jako základ pro další výzkum.
|
host ::
RSS.